Tutorial

Memórias Transacionais e a linguagem STM Haskell
Andre Du Bois (UCPel)

Technical Papers

A Complete and Minimal Set of Algebraic Laws for Feature Models
Rohit Gheyi (UFCG), Tiago Massoni (UFPE), Paulo Borba (UFPE)

LALR Parser Generator with Conflict Resolution Support
Leonardo Passos (UFMG), Mariza Bigonha (UFMG), Roberto Bigonha (UFMG)

Disentangling Denotational Semantics Specifications
Fabio Tirelo (PUC Minas), Roberto Bigonha (UFMG),
João Saraiva (Universidade do Minho)

An Instruction Scheduling Algorithm Based on Subgraph Isomorphism
Ricardo Santos (Dom Bosco Catholic University)

Formal Action Semantics for a UML Action Language
Mikai Yang (Heriot-watt University),
Greg J. Michaelson (Heriot-watt University),
Rob J. Pooley (Heriot-watt University)

Eliminating Cycles in Weak Tables
Alexandra Barros (PUC-Rio),
Roberto Ierusalimschy (PUC-RIO)

Exploring Lua for Concurrent Programming
Alexandre Skyrme (PUC-Rio), Noemi Rodriguez (PUC-Rio),
Roberto Ierusalimschy (PUC-Rio)

Controlling Aspect Reentrancy
Eric Tanter (University of Chile)

A Lightweight and Extensible AspectJ Implementation
Rodolfo Toledo (University of Chile),
Eric Tanter (University of Chile)

Shortcut fusion of monadic programs
Cecilia Manzino (Universidad Nacional de Rosario),
Alberto Pardo (Universidad de La República)

On the interaction of Advices and Raw Types in AspectJ
Fernando Barden Rubbo (UFRGS), Rodrigo Machado (UFRGS),
Alvaro Moreira (UFRGS), Leila Ribeiro (UFRGS),
Daltro Nunes (UFRGS)

Beyond ASCII -- parsing programs with graphical presentations
Martijn Schrage (Utrecht University),
Doaitse Swierstra (Utrecht University)

A Semântica Formal da Linguagem RS
Giovani Rubert Librelotto (UNIFRA), Juliana Vizzotto (INPE),
Iara Augustin (UFSM), Simão Toscani (PUCRS e UNILASALLE)